let parse name =
  let lexbuf = Lexing.from_channel (open_in (name^".mp")) in
    Parser.progdecl Lexer.token lexbuf
;;
